Knowledge Representation with Granular Attributive Logic for XTT-Based Expert Systems
نویسندگان
چکیده
This paper presents an extension of classical attributive logic using atomic values of attributes. In the proposed logic set values are allowed and various relational symbols are used to form atomic formulae. The proposed language provides a concise and elegant tool for design, implementation and verification of rule-based systems.
منابع مشابه
On ALSV Rules Formulation and Inference
In this paper knowledge representation and inference issues for rule-based systems are discussed. The paper deals with improving the logical calculus of Set Attributive Logic founding an expressive rule language XTT. Representation extensions are introduced, and practical inference rules provided. The original includes an extended state specification, as well as interpreter design. Examples of ...
متن کاملXTT+ Rule Design Using the ALSV(FD)
This paper presents advances in Set Attributive Logic and its application to develop tabular rule-based systems within the XTT framework. The primary goal is to extend the expressive power of simple attributive languages so that it becomes satisfactory for complex applications, including the business rules support. A formal framework of extended Attributive Logic with Set Values over Finite Dom...
متن کاملGranular Logic with Variables for Implementation of Extended Tabular Trees
This paper presents proposals of certain extensions to the XTT knowledge representation model, a method of tabular specification for rule-based systems. The extensions concern introduction of variables, functionally dependent attributes, constraints, fuzzy rules and time-delayed values.
متن کاملVisual Design and On-line Verification of Tabular Rule-Based
The paper is dedicated to presentation of a new approach to joint design and verification of rule-based systems. The principal idea is that verification should be performed on-line, incrementally, during system design. This allows for early detection and handling of knowledge base anomalies and inconsistencies. The proposed approach offers also an innovative visual tool for computer-aided desig...
متن کاملXML - based Knowledge Translation Methods for XTT - based Expert Systems ∗
The paper discusses a concept of representing a rule-based knowledge base of an expert system with a hybrid method combining decision trees and tables. The XTT method provides means for logical formulation of a hierarchical rulebase with explicit inference control. It also has a well-defined visual representation, which is useful in the design process. On the machine readable level the XTT know...
متن کامل